Independence Axioms for Water Allocation

Axioms for health care resource allocation.

This paper examines principles of health care resource allocation based on axioms for individual preferences and distributive justice. We establish axioms for representing individual preferences by quality-adjusted life years (QALYs), as well as axioms for existence of a social welfare function depending only on QALYs. A symmetric Cobb-Douglas social welfare function is characterized by an axio...

Axioms for health care resource allocation

We examine welfare theoretic foundations for solutions to the health care resource allocation problem based on measures of quality adjusted life-years (QALYs). Conditions for representing the individuals’ preferences by QALY measures, as well as conditions for the existence of a social welfare function being a function of the individuals’ QALYs only are established. The QALY measures represent ...

On the Independence of the Axioms for Fork Algebras

We establish the independence of the fork axioms by examining their role and presenting expansions of (simple) algebras of relations that falsify each one of these fork equations while satisfying the other axioms. We aslo examine these algebras to obtain further information about the independence of these axioms.

Axioms and Algorithms for Inferences Involving Probabilistic Independence

Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence

Independence between two sets of random variables is a well-known relation in probability theory. Its origins trace back to Abraham de Moivre’s work in the 18th century. The propositional theory of this relation was axiomatized by Geiger, Paz, and Pearl. Sutherland introduced a relation in information flow theory that later became known as “nondeducibility.” Subsequently, the first two authors ...